manually operated pump - German English Dictionary